" Helene Kirchner" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Rewriting Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday (Lecture Notes in Computer Science)

Hubert Comon-Lundh, Claude Kirchner, Helene Kirchner

Категория: Компьютеры

2.95 Mb

#2

CAAP 96 Trees in Algebra and Programming 21 conf

Helene Kirchner

Категория: Cs_Computer science, CsLn_Lecture notes

2.83 Mb

#3

Algebraic and Logic Programming

Helene Kirchner, Giorgio Levi

Категория: Cs_Computer science, CsLn_Lecture notes

4.75 Mb

#4

Algebraic and Logic Programming

Helene Kirchner, Wolfgang Wechler

Категория: Cs_Computer science, CsLn_Lecture notes

3.44 Mb

#5

Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings

Claude Kirchner, Helene Kirchner

7.65 Mb

#6

Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings

Claude Kirchner, Helene Kirchner

9.67 Mb

#7

Frontiers of Combining Systems: Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings

Helene Kirchner, Christophe Ringeissen

2.91 Mb

#8

Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, ...

Helene Kirchner, Christophe Ringeissen

7.39 Mb